Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

[First paragraphs: This essay takes its practical orientation from my experiences as a member of a philosophy reading group on death row at Riverbend Maximum Security Penitentiary in Nashville, Tennessee. Its theoretical orientation comes from W. E. B. Du Bois’ lecture-turned-essay, “Criteria of Negro Art,” which argues that the realm of aesthetics is vitally important in the war against racial discrimination in the United States. And since, according to Michele Alexander’s critically-acclaimed The New Jim Crow: Mass Incarceration in the (...) Age of Colorblindness, the prison system should be the primary front today in this war, my essay’s ultimate aim is t/o articulate a new criterion of the present-day “Negro” art being created by a prison population that is still overwhelmingly constituted by persons of color. In my first section, I will show how Du Bois’ insights in “Criteria of Negro Art” remain relevant today, especially in the prison context, and argue that it is thus appropriate for my new criterion to be shaped by his distinctive conception of “propaganda.” In my second section, through a close reading of two texts by Michel Foucault (the pivotal thinker of modern imprisonment), I will flesh out this new criterion, “self-torsion,” defined as the effect of prisoners’ attempts at self-care within a prison system that distorts those attempts into further exploitation of both prisoners and the outside world that imprisons them. And my final section, in an attempt to illustrate this new criterion’s efficacy as a form of propagandistic resistance to contemporary racism, will deploy self-torsion as a critique of two artworks created by imprisoned members of my reading group at Riverbend penitentiary. (shrink)

In this paper, I explore a possible convergence between two great twentieth century thinkers, Nishida Kitarō of Japan and Martin Heidegger of Germany. The focus is on the quasi-religious language they employ in discussing the grounding of human existence in terms of an encompassing Wherein for our being. Heidegger speaks of “the sacred” and “the passing of the last god” that mark an empty clearing wherein all metaphysical absolutes or gods have withdrawn but are simultaneously indicative of an opening wherein (...) beings are given. Nishida speaks of “the religious” dimension in the depths of one's being, that he calls “place,” and that somehow envelops the world through its kenotic self-negation. In both we find reference to a kind of originary space—the open or place—associated with quasireligious themes. I also point to their distinct approaches to metaphysical language in their attempts to give voice to that abysmal thought. (shrink)

: Two major philosophers of the twentieth century, the German existential phenomenologist Martin Heidegger and the seminal Japanese Kyoto School philosopher Nishida Kitarō are examined here in an attempt to discern to what extent their ideas may converge. Both are viewed as expressing, each through the lens of his own tradition, a world in transition with the rise of modernity in the West and its subsequent globalization. The popularity of Heidegger's thought among Japanese philosophers, despite its own admitted limitation to (...) the Western "history of being," is connected to Nishida's opening of a uniquely Japanese path in its confrontation with Western philosophy. The focus is primarily on their later works (the post-Kehre Heidegger and the works of Nishida that have been designated "Nishida philosophy"), in which each in his own way attempts to overcome the subject-object dichotomy inherited from the tradition of Western metaphysics by looking to a deeper structure from out of which both subjectivity and objectivity are derived and which embraces both. For Heidegger, the answer lies in being as the opening of unconcealment, from out of which beings emerge, and for Nishida, it is the place of nothingness within which beings are co-determined in their oppositions and relations. Concepts such as Nishida's "discontinuous continuity," "absolutely self-contradictory identity" (between one and many, whole and part, world and things), the mutual interdependence of individuals, and the self-determination of the world through the co-relative self-determination of individuals, and Heidegger's "simultaneity" (zugleich) and "within one another" (ineinander) (of unconcealment and concealment, presencing and absencing), and their "between" (Zwischen) and "jointure" (Fuge) are examined. Through a discussion of these ideas, the suggestion is made of a possible "transition" (Übergang) of both Western and Eastern thinking, in their mutual encounter, both in relation to each other and each in relation to its own past history, leading to both a self-discovery in the other and to a simultaneous self-reconstitution. (shrink)

(Expected) adverse effects of the ‘ICT Revolution’ on work and opportunities for individuals to use and develop their capacities give a new impetus to the debate on the societal implications of technology and raise questions regarding the ‘responsibility’ of research and innovation (RRI) and the possibility of achieving ‘inclusive and sustainable society’. However, missing in this debate is an examination of a possible conflict between the quest for ‘inclusive and sustainable society’ and conventional economic principles guiding capital allocation (including the (...) funding of research and innovation). We propose that such conflict can be resolved by re-examining the nature and purpose of capital, and by recognising mainstream economics’ utilitarian foundations as an unduly restrictive subset of a wider Aristotelian understanding of choice. (shrink)

This chapter identifies and explores a series of challenges raised by the clinical concept of delusion for theories which conceive autonomy as an agency rather than a status concept. The first challenge is to address the autonomy-impairing nature of delusions consistently with their role as grounds for full legal and ethical excuse, on the one hand, and psychopathological significance as key symptoms of psychoses, on the other. The second challenge is to take into account the full logical range of delusions, (...) which may take the form of true or false factual beliefs, positive or negative evaluations, as well as the paradoxical delusion of mental illness. The third and final challenge is to make room for non-pathological or, autonomy-preserving delusions and to offer a credible way of distinguishing between these and pathological or, autonomy-impairing delusions. By setting out these challenges, we are able to, firstly, distinguish between two separate conceptions of objectivity that may be at work in existing accounts of delusions and, secondly, to put a spotlight on an elusive yet inescapable notion of agential success that underlies our thinking about autonomy as well as mental disorder. (shrink)

This edited volume illustrates the central importance of diversity of human values throughout healthcare. The readings are organised around the main stages of the clinical encounter from the patient's perspective. This introductory chapter opens up crucial issues of methodology and of practical application in this highly innovative approach to the role of ethics in healthcare.

In Social Imaginaries, vol. 1, nr. 1 (Spring 2015) due out in May 2015.

This paper investigates the meaning of the neo-Confucian concept of 'li'. From early on, it has the sense of a pattern designating how things are and ought to be. But it takes on the appearance of something transcendent to the world only at a certain point in history, when it becomes juxtaposed to 'qi'. Zhu Xi has been criticized for this 'li-qi' dichotomization and the transcendentalization of 'li'. The paper re-examines this putative dualism and transcendentalism, looking into both Zhu's discussions (...) and pre- and post-Zhu discussions of 'li', and concludes it to be an inter-connective threading immanent to the world. (shrink)

This volume of articles, literature and case studies illustrates the central importance of human values throughout healthcare. The readings are structured around the main stages of the clinical encounter from the patient's perspective.

This paper discusses the idea of "pure experience" within the context of the Buddhist tradition and in connection with the notions of emptiness and dependent origination via a reading of Dale Wright's reading of 'Huangbo' in his 'Philosophical Meditations on Zen Buddhism'. The purpose is to appropriate Wright's text in order to engender a response to Steven Katz's contextualist-constructivist thesis that there are no "pure" (i.e., unmediated) experiences. In light of the Mahayana claim that everything is empty of substance, i.e., (...) originates dependently through conditions, contingencies, and contexts, what does the "purity" of the Enlightenment experience mean for Chan/Zen Buddhism? (shrink)

I examine the role of the imagination (Einbildung) for Martin Heidegger after his Kant-reading of 1929. In 1929 he broadens the imagination to the openness of Dasein. But after 1930 Heidegger either disparages it as a representational faculty belonging to modernity; or further develops and clarifies its ontological broadening as the clearing or poiesis. If the hylo-morphic duality implied by Kantian imagination requires a prior unity, that underlying power unfolding beings in aletheic formations (poiesis) of being (the happening of being, (...) the opening of the world) would have to ultimately be in excess to any spontaneous power of subjectivity. (shrink)

The following essay, “The Unsolved Issue of Consciousness” (Torinokosaretaru ishiki no mondai 取残されたる意識の問題), by Nishida Kitarō 西田幾多郎 from 1927 is significant in regard to the development of what has come to be called “Nishida philosophy” (Nishida tetsugaku 西田哲学). In what follows, in addition to providing some commentary on the important points of his essay, I would like to show its relevance or significance not only for those who would like to study Nishida’s thought but also for philosophy in general, especially (...) in the contemporary setting. It was first published in 1927 by Iwanami Publishers in a collection of essays by different authors, Philosophical Essays in Commemoration of the Sixtieth Birthday of Dr. .. (shrink)

A supplemental document for "Metalinguistic Gradability".

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

In Two Minds is a practical casebook of problem solving in psychiatric ethics. Written in a lively and accessible style, it builds on a series of detailed case histories to illustrate the central place of ethical reasoning as a key competency for clinical work and research in psychiatry. Topics include risk, dangerousness and confidentiality; judgements of responsibility; involuntary treatment and mental health legislation; consent to genetic screening; dual role issues in child and adolescent psychiatry; needs assessment; cross-cultural and gender issues; (...) rational and irrational suicide; shared decision making in multi-agency teams, and the growing role of the user's voice in psychiatry. Key ethical concepts are carefully introduced and explained. The text is richly supported by detailed guides for further reading. There are separate chapters on teaching psychiatric ethics, including a sample seminar, and on writing a research ethics application. Each case history and discussion is followed by a critical commentary from a practitioner with relevant experience. Jim Birley adds a comparative international perspective on psychiatric ethics. Cartoons by Johnny Cowee provide punchy counterpoint! In Two Minds is the sister volume to the third edition of Sidney, Paul Chodoff and Steven Green's highly successful Psychiatric Ethics. In providing a bridge between theory and practice, it will be essential reading for everyone concerned with improving standards in mental health care. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Despite the frequency of stillbirths, the subsequent implications are overlooked and underappreciated. We present findings from comprehensive, systematic literature reviews, and new analyses of published and unpublished data, to establish the effect of stillbirth on parents, families, health-care providers, and societies worldwide. Data for direct costs of this event are sparse but suggest that a stillbirth needs more resources than a livebirth, both in the perinatal period and in additional surveillance during subsequent pregnancies. Indirect and intangible costs of stillbirth are (...) extensive and are usually met by families alone. This issue is particularly onerous for those with few resources. Negative effects, particularly on parental mental health, might be moderated by empathic attitudes of care providers and tailored interventions. The value of the baby, as well as the associated costs for parents, families, care providers, communities, and society, should be considered to prevent stillbirths and reduce associated morbidity. (shrink)

A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".

This introduction to the Journal of Business Research special issue on anti-consumption briefly defines and highlights the importance of anticonsumption research, provides an overview of the latest studies in the area, and suggests an agenda for future research on anti-consumption.

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

We offer a novel account of metalinguistic comparatives, such as 'Al is more wise than clever'. On our view, metalinguistic comparatives express comparative commitments to conventions. Thus, 'Al is more wise than clever' expresses that the speaker has a stronger commitment to a convention on which Al is wise than to a convention on which she is clever. This view avoids problems facing previous approaches to metalinguistic comparatives. It also fits within a broader framework—independently motivated by metalinguistic negotiations and convention-shiftingexpressions— (...) that gives linguistic conventions a role in the semantics. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

We develop a theory about the metaphysics of time and modality that combines the conceptual resources devised in recent sympathetic work on ontological pluralism (the thesis that there are fundamentally distinct kinds of being) with the thought that what is past, future, and merely possible is less real than what is present and actual (albeit real enough to serve as truthmakers for statements about the past, future, and merely possible). However, we also show that despite being a coherent, distinctive, and (...) prima facie appealing position, the theory succumbs to what we call the “problem of mixed ontological status”. We conclude that the proponents of the theory can only evade these problems by developing ontological pluralism in a radically different way than it has been by its recent sympathizers. (shrink)

Objective: To examine the current ethical review process of ethics committees in a non-pharmacological trial from the perspective of a clinical investigator.Design: Prospective collection of data at the Study Centre of the German Surgical Society on the duration, costs and administrative effort of the ERP of a randomised controlled multicentre surgical INSECT Trial between November 2003 and May 2005.Setting: Germany.Participants: 18 ethics committees, including the ethics committee handling the primary approval, responsible overall for 32 clinical sites throughout Germany. 8 ethics (...) committees were located at university medical schools and 10 at medical chambers. Duration was measured as days between submission and receipt of final approval, costs in euros and administrative effort by calculation of the product of the total number of different types of documents and the mean number of copies required .Results: The duration of the ERP ranged from 1 to 176 days. The median duration was 26 days at MSUs compared with 34 days at medical chambers. The total cost was €2947. 1 of 8 ethics committees at universities and 8 of 10 at medical chambers charged a median fee of €162 . The administrative effort for primary approval was 30. Four ethics committees required a higher administrative effort for secondary approval .Conclusion: The ERP for non-pharmacological multicentre trials in Germany needs improvement. The administrative process has to be standardised: the application forms and the number and content of the documents required should be identical or at least similar. The fees charged vary considerably and are obviously too high for committees located at medical chambers. However, the duration of the ERP was, with some exceptions, excellent. A centralised ethics committee in Germany for multicentre trials such as the INSECT Trial can simplify the ERP for clinical investigators in and outside the country. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

Time as the key to a theory of everything became recently a renewed topic in scientific literature. Social constructivism applied to physics abandons the inevitable essentials of nature. It adopts uncertainty in the scope of the existential activity of scientific research. We have enlightened the deep role of social constructivism of the predetermined Newtonian time and space notions in natural sciences. Despite its incompatibility with determinism governing the Newtonian mechanics, randomness and entropy are inevitable when negative localized energy is transformed (...) into spatially dissipative heat. In sharp contrast to the Newtonian notion, social constructivism makes room for the temporal twin of cyclic conservation and pseudo-linearly structural evolution both reconciling mechanical order and thermodynamic chaos in Leibnizian space-time. In the broad scope of natural sciences this triad nature of time produces a multiple reality and gives appropriate answers on virtual physical paradoxes. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...